@inproceedings{abella2011towards,
  title={Towards improved survivability in safety-critical systems},
  author={Abella, Jaume and Cazorla, Francisco J and Qui{\~n}ones, Eduardo and Grasset, Arnaud and Yehia, Sami and Bonnot, Philippe and Gizopoulos, Dimitris and Mariani, Riccardo and Bernat, Guillem},
  booktitle={On-Line Testing Symposium (IOLTS), 2011 IEEE 17th International},
  pages={240--245},
  year={2011},
  organization={IEEE}
}

@article{davis2011survey,
  title={A survey of hard real-time scheduling for multiprocessor systems},
  author={Davis, Robert I and Burns, Alan},
  journal={ACM Computing Surveys (CSUR)},
  volume={43},
  number={4},
  pages={35},
  year={2011},
  publisher={ACM}
}

@article{sha1990priority,
  title={Priority inheritance protocols: An approach to real-time synchronization},
  author={Sha, Lui and Rajkumar, Ragunathan and Lehoczky, John P},
  journal={Computers, IEEE Transactions on},
  volume={39},
  number={9},
  pages={1175--1185},
  year={1990},
  publisher={IEEE}
}

@article{baker1991stack,
  title={Stack-based scheduling of realtime processes},
  author={Baker, Theodore P.},
  journal={Real-Time Systems},
  volume={3},
  number={1},
  pages={67--99},
  year={1991},
  publisher={Springer}
}

@article{burns2012deadline,
  title={A deadline-floor inheritance protocol for EDF scheduled real-time systems with resource sharing},
  author={Burns, Alan},
  journal={Dept. Comput. Sci., Univ. York, Heslington, UK, Tech. Rep. YCS-2012-476},
  year={2012}
}

@inproceedings{rajkumar1988real,
  title={Real-Time Synchronization Protocols for Multiprocessors.},
  author={Rajkumar, Ragunathan and Sha, Lui and Lehoczky, John P},
  booktitle={RTSS},
  volume={88},
  pages={259--269},
  year={1988}
}

@inproceedings{brandenburg2008real,
  title={Real-time synchronization on multiprocessors: To block or not to block, to suspend or spin?},
  author={Brandenburg, Bjorn B and Calandrino, John M and Block, Aaron and Leontyev, Hennadiy and Anderson, James H},
  booktitle={Real-Time and Embedded Technology and Applications Symposium, 2008. RTAS'08. IEEE},
  pages={342--353},
  year={2008},
  organization={IEEE}
}

@inproceedings{block2007flexible,
  title={A flexible real-time locking protocol for multiprocessors},
  author={Block, Aaron and Leontyev, Hennadiy and Brandenburg, Bj{\"o}rn B and Anderson, James H},
  booktitle={Embedded and Real-Time Computing Systems and Applications, 2007. RTCSA 2007. 13th IEEE International Conference on},
  pages={47--56},
  year={2007},
  organization={IEEE}
}

@inproceedings{takada1997novel,
  title={A novel approach to multiprogrammed multiprocessor synchronization for real-time kernels},
  author={Takada, Hiroaki and Sakamura, Ken},
  booktitle={Real-Time Systems Symposium, 1997. Proceedings., The 18th IEEE},
  pages={134--143},
  year={1997},
  organization={IEEE}
}

@inproceedings{burns2013schedulability,
  title={A schedulability compatible multiprocessor resource sharing protocol--mrsp},
  author={Burns, Alan and Wellings, Andy J},
  booktitle={Real-Time Systems (ECRTS), 2013 25th Euromicro Conference on},
  pages={282--291},
  year={2013},
  organization={IEEE}
}

@incollection{mezzetti2015challenges,
  title={Challenges in the Implementation of MrsP},
  author={Catellani, Sebastiano and Bonato, Luca and Huber, Sebastian and Mezzetti, Enrico},
  booktitle={Reliable Software Technologies--Ada-Europe 2015},
  pages={179--195},
  year={2015},
  publisher={Springer}
}

@inproceedings{brandenburg2010optimality,
  title={Optimality results for multiprocessor real-time locking},
  author={Brandenburg, Bj{\"o}rn B and Anderson, James H},
  booktitle={Real-Time Systems Symposium (RTSS), 2010 IEEE 31st},
  pages={49--60},
  year={2010},
  organization={IEEE}
}

@inproceedings{easwaran2009resource,
  title={Resource sharing in global fixed-priority preemptive multiprocessor scheduling},
  author={Easwaran, Arvind and Andersson, Bj{\"o}rn},
  booktitle={Real-Time Systems Symposium, 2009, RTSS 2009. 30th IEEE},
  pages={377--386},
  year={2009},
  organization={IEEE}
}

@inproceedings{faggioli2010multiprocessor,
  title={The multiprocessor bandwidth inheritance protocol},
  author={Faggioli, Dario and Lipari, Giuseppe and Cucinotta, Tommaso},
  booktitle={Real-Time Systems (ECRTS), 2010 22nd Euromicro Conference on},
  pages={90--99},
  year={2010},
  organization={IEEE}
}

@book{rajkumar2012synchronization,
  title={Synchronization in real-time systems: a priority inheritance approach},
  author={Rajkumar, Ragunathan},
  volume={151},
  year={2012},
  publisher={Springer Science \& Business Media}
}

@inproceedings{rajkumar1990real,
  title={Real-time synchronization protocols for shared memory multiprocessors},
  author={Rajkumar, Ragunathan},
  booktitle={Distributed Computing Systems, 1990. Proceedings., 10th International Conference on},
  pages={116--123},
  year={1990},
  organization={IEEE}
}

@inproceedings{brandenburg2011real,
  title={Real-time resource-sharing under clustered scheduling: Mutex, reader-writer, and k-exclusion locks},
  author={Brandenburg, Bj{\"o}rn B and Anderson, James H},
  booktitle={Embedded Software (EMSOFT), 2011 Proceedings of the International Conference on},
  pages={69--78},
  year={2011},
  organization={IEEE}
}

@article{lipari2004task,
  title={Task synchronization in reservation-based real-time systems},
  author={Lipari, Giuseppe and Lamastra, Gerardo and Abeni, Luca},
  journal={Computers, IEEE Transactions on},
  volume={53},
  number={12},
  pages={1591--1601},
  year={2004},
  publisher={IEEE}
}

@article{audsley1993applying,
  title={Applying new scheduling theory to static priority pre-emptive scheduling},
  author={Audsley, Neil and Burns, Alan and Richardson, Mike and Tindell, Ken and Wellings, Andy J},
  journal={Software Engineering Journal},
  volume={8},
  number={5},
  pages={284--292},
  year={1993},
  publisher={IET}
}

@inproceedings{calandrino2006litmus,
  title={LITMUS\^{} RT: A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers},
  author={Calandrino, John M and Leontyev, Hennadiy and Block, Aaron and Devi, UmaMaheswari C and Anderson, James H},
  booktitle={Real-Time Systems Symposium, 2006. RTSS'06. 27th IEEE International},
  pages={111--126},
  year={2006},
  organization={IEEE}
}

@phdthesis{brandenburg2011scheduling,
  title={Scheduling and locking in multiprocessor real-time operating systems},
  author={Brandenburg, Bj{\"o}rn B},
  year={2011},
  school={University of North Carolina at Chapel Hill}
}

@book{bovet2005understanding,
  title={Understanding the Linux kernel},
  author={Bovet, Daniel P and Cesati, Marco},
  year={2005},
  publisher={" O'Reilly Media, Inc."}
}

@article{rtems2003users,
  title={Users Guide-Edition 4.6. 5, for RTEMS 4.6. 5},
  author={RTEMS, C},
  journal={On-Line Applications Research Corporation (OAR)-http://www. 1tems. com},
  volume={30},
  year={2003}
}

@article{burns2013locking,
  title={Locking policies for multiprocessor ada},
  author={Burns, A and Wellings, AJ},
  journal={ACM SIGAda Ada Letters},
  volume={33},
  number={2},
  pages={59--65},
  year={2013},
  publisher={ACM}
}

@inproceedings{kato2007real,
  title={Real-time scheduling with task splitting on multiprocessors},
  author={Kato, Shigeo and Yamasaki, Nobuyuki},
  booktitle={Embedded and Real-Time Computing Systems and Applications, 2007. RTCSA 2007. 13th IEEE International Conference on},
  pages={441--450},
  year={2007},
  organization={IEEE}
}

@techreport{zhaoimplementmrsp2016,
  title={Implementing {MrsP} on Fully Partitioned Systems},
  author={Shuai Zhao},
  year={2016},
  institution={The University of York, Department of Computer Science}
 }
